Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 1 of 16651 results
Sort by: relevance publication year

On the size of computationally complete hybrid networks of evolutionary processors

JOURNAL ARTICLE published August 2009 in Theoretical Computer Science

Authors: Artiom Alhazov | Erzsébet Csuhaj-Varjú | Carlos Martín-Vide | Yurii Rogozhin

Ordinal recursive bounds for Higman's theorem

JOURNAL ARTICLE published July 1998 in Theoretical Computer Science

Authors: E.A. Cichon | E.Tahhan Bittar

Vertex disjoint paths on clique-width bounded graphs

JOURNAL ARTICLE published August 2006 in Theoretical Computer Science

Authors: Frank Gurski | Egon Wanke

Duality and the completeness of the modal μ-calculus

JOURNAL ARTICLE published November 1995 in Theoretical Computer Science

Authors: Simon Ambler | Marta Kwiatkowska | Nicholas Measor

On optimal solutions to the firing squad synchronization problem

JOURNAL ARTICLE published November 1996 in Theoretical Computer Science

Authors: Jacques Mazoyer

Snakes in Domineering games

JOURNAL ARTICLE published October 1993 in Theoretical Computer Science

Authors: David Wolfe

Discrete parabolas and circles on 2D cellular automata

JOURNAL ARTICLE published May 1999 in Theoretical Computer Science

Authors: Marianne Delorme | Jacques Mazoyer | Laure Tougne

Semi-online scheduling with known partial information about job sizes on two identical machines

JOURNAL ARTICLE published July 2011 in Theoretical Computer Science

Authors: Qian Cao | Zhaohui Liu | T.C.E. Cheng

Counting the number of games

JOURNAL ARTICLE published February 2004 in Theoretical Computer Science

Authors: David Wolfe | William Fraser

The game of n-player Cutcake

JOURNAL ARTICLE published September 2011 in Theoretical Computer Science

Authors: Alessandro Cincotti

The domino problem of the hyperbolic plane is undecidable

JOURNAL ARTICLE published November 2008 in Theoretical Computer Science

Authors: Maurice Margenstern

Using well-structured transition systems to decide divergence for catalytic P systems

JOURNAL ARTICLE published March 2007 in Theoretical Computer Science

Authors: Nadia Busi

Artin-Schreier curves, exponential sums, and coding theory

JOURNAL ARTICLE published March 1992 in Theoretical Computer Science

Authors: Gilles Lachaud

A metric index for approximate string matching

JOURNAL ARTICLE published March 2006 in Theoretical Computer Science

Authors: Gonzalo Navarro | Edgar Chávez

Approximate string matching using compressed suffix arrays

JOURNAL ARTICLE published March 2006 in Theoretical Computer Science

Authors: Trinh N.D. Huynh | Wing-Kai Hon | Tak-Wah Lam | Wing-Kin Sung

Cylindric structures and dependencies in relational databases

JOURNAL ARTICLE published October 2001 in Theoretical Computer Science

Authors: Ivo Düntsch | Szabolcs Mikulás

Realizability interpretation of generalized inductive definitions

JOURNAL ARTICLE published August 1994 in Theoretical Computer Science

Authors: Satoshi Kobayashi | Makoto Tatsuta

The number of binary words avoiding abelian fourth powers grows exponentially

JOURNAL ARTICLE published June 2004 in Theoretical Computer Science

Authors: James D. Currie

On some generalizations of abelian power avoidability

JOURNAL ARTICLE published October 2015 in Theoretical Computer Science

Authors: Michaël Rao

On the average number of regularities in a word

JOURNAL ARTICLE published March 2014 in Theoretical Computer Science

Authors: Manolis Christodoulakis | Michalis Christou | Maxime Crochemore | Costas S. Iliopoulos